overviewControls: Allocate a bit more space for the dash

We want the dash to show the larger icons as often as possible, and giving
it a height of 16% instead of 15% helps with that on common screen
resolutions.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3278>

diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 21084b110c31dacd39a8ea2dcb88f91105c20fa8..8e335d2a520e0632d451039332d8358358c3870a 100644 (file)
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -20,7 +20,7 @@ import * as WorkspaceThumbnail from './workspaceThumbnail.js';
 import * as WorkspacesView from './workspacesView.js';
 
 export const SMALL_WORKSPACE_RATIO = 0.15;
-const DASH_MAX_HEIGHT_RATIO = 0.15;
+const DASH_MAX_HEIGHT_RATIO = 0.16;
 const VERTICAL_SPACING_RATIO = 0.02;
 const THUMBNAILS_SPACING_ADJUSTMENT_TOP = 0.6;
 const THUMBNAILS_SPACING_ADJUSTMENT_BOTTOM = 0.4;